Bertolissi, Clara: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Expressing combinatory reduction systems derivations in the rewriting calculus

Clara Bertolissi, Horatiu Cirstea, Claude Kirchner

Journal:

Higher-Order and Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 755 KB

english, 2006

2

Action Control by Term Rewriting

Steve Barker, Clara Bertolissi, Maribel Fernández

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 350 KB

english, 2009

3

Translating Combinatory Reduction Systems into the Rewriting Calculus

Clara Bertolissi, Horatiu Cirstea, Claude Kirchner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 208 KB

english, 2003

4

[ACM Press the 7th workshop - Rome, Italy (2013.01.22-2013.01.22)] Proceedings of the 7th workshop on Programming languages meets program verification - PLPV '13 - Automated analysis of rule-based access control policies

Bertolissi, Clara, Uttha, Worachet

Year:

2013

Language:

english

File:

PDF, 466 KB

english, 2013

5

[IEEE 2013 8th International Conference for Internet Technology and Secured Transactions (ICITST) - London, United Kingdom (2013.12.9-2013.12.12)] 8th International Conference for Internet Technology and Secured Transactions (ICITST-2013) - A methodology to build run-time monitors for security-aware workflows

Bertolissi, Clara, Ranise, Silvio

Year:

2013

Language:

english

File:

PDF, 485 KB

english, 2013

6

A metamodel of access control for distributed environments: Applications and properties

Bertolissi, Clara, Fernández, Maribel

Journal:

Information and Computation

Year:

2014

Language:

english

File:

PDF, 616 KB

english, 2014

7

[IEEE 2008 Third International Conference on Risks and Security of Internet and Systems( CRiSIS) - Tozeur, Tunisia (2008.10.28-2008.10.30)] 2008 Third International Conference on Risks and Security of Internet and Systems - An algebraic-functional framework for distributed access control

Bertolissi, Clara, Fernandez, Maribel

Year:

2008

Language:

english

File:

PDF, 155 KB

english, 2008

8

[IEEE 2008 New Technologies, Mobility and Security (NTMS) - Tangier, Morocco (2008.11.5-2008.11.7)] 2008 New Technologies, Mobility and Security - Time and Location Based Services with Access Control

Bertolissi, Clara, Fernandez, Maribel

Year:

2008

Language:

english

File:

PDF, 128 KB

english, 2008

9

[IEEE 2013 IEEE Third International Conference on Information Science and Technology (ICIST) - Yangzhou, Jiangsu, China (2013.03.23-2013.03.25)] 2013 IEEE Third International Conference on Information Science and Technology (ICIST) - A methodology to build run-time monitors for security-aware workflows

Bertolissi, Clara, Ranise, Silvio

Year:

2013

Language:

english

File:

PDF, 685 KB

english, 2013

10

A rewriting calculus for cyclic higher-order term graphs

BALDAN, PAOLO, BERTOLISSI, CLARA, CIRSTEA, HORATIU, KIRCHNER, CLAUDE

Journal:

Mathematical Structures in Computer Science

Year:

2007

Language:

english

File:

PDF, 802 KB

english, 2007

11

[ACM Press the 10th ACM Symposium - Singapore, Republic of Singapore (2015.04.14-2015.03.17)] Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security - ASIA CCS '15 - Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes

Bertolissi, Clara, dos Santos, Daniel Ricardo, Ranise, Silvio

Year:

2015

Language:

english

File:

PDF, 1.99 MB

english, 2015

12

[ACM Press the 10th international ACM SIGPLAN symposium - Valencia, Spain (2008.07.15-2008.07.17)] Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 - A rewriting framework for the composition of access control policies

Bertolissi, Clara, Fernández, Maribel

Year:

2008

Language:

english

File:

PDF, 216 KB

english, 2008

13

Distributed event-based access control

Bertolissi, Clara, Fernandez, Maribel

Journal:

International Journal of Information and Computer Security

Year:

2009

Language:

english

File:

PDF, 159 KB

english, 2009

14

A SMT-based methodology for monitoring of security-aware workflows

Bertolissi, Clara, Ranise, Silvio

Journal:

International Journal of Internet Technology and Secured Transactions

Year:

2014

Language:

english

File:

PDF, 463 KB

english, 2014

15

[ACM Press the 18th International Symposium - Edinburgh, United Kingdom (2016.09.05-2016.09.07)] Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming - PPDP '16 - Analysis of access control policy updates through narrowing

Bertolissi, Clara, Talbot, Jean-Marc, Villevalois, Didier

Year:

2016

Language:

english

File:

PDF, 675 KB

english, 2016

16

[IEEE 2017 12th International Conference for Internet Technology and Secured Transactions (ICITST) - Cambridge (2017.12.11-2017.12.14)] 2017 12th International Conference for Internet Technology and Secured Transactions (ICITST) - Enhancing security in the cloud: When traceability meets access control

Bertolissi, Clara, Boucelma, Omar, Uttha, Worachet

Year:

2017

Language:

english

File:

PDF, 219 KB

english, 2017

17

[ACM Press the 23nd ACM - Indianapolis, Indiana, USA (2018.06.13-2018.06.15)] Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies - SACMAT '18 - Solving Multi-Objective Workflow Satisfiability Problems with Optimization Modulo Theories Techniques

Bertolissi, Clara, dos Santos, Daniel R., Ranise, Silvio

Year:

2018

Language:

english

File:

PDF, 1.55 MB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски